Publications de
Philippe Balbiani, Jean-Francois Condotta, Gerard Ligozat
On the consistency problem for the INDU calculus
Dans : Journal of Applied Logic, Elsevier, Vol. 4, p. 119-140, 2006.
Philippe Balbiani, Jean-Francois Condotta, Gerard Ligozat
Le problème de la cohérence des réseaux de contraintes du formalisme INDU
Dans : Journal électronique d’intelligence artificielle, Vol. 2, p. 1-14, 2004.
Philippe Balbiani, Jean-Francois Condotta, Luis Fariñas del Cerro
Tractability results in the block algebra
Dans : Journal of Logic and Computation, Vol. 12, p. 885-909, 2002.
Philippe Balbiani, Jean-Francois Condotta
Spatial reasoning about points in a multidimensional setting
Dans : Applied Intelligence, Vol. 7, p. 221-238, 2002.
Philippe Balbiani, Jean-Francois Condotta, Gerard Ligozat
Le problème de la cohérence des réseaux de contraintes du formalisme INDU
Dans : Neuvièmes journées nationales sur la résolution pratique de problèmes NP-complets (JNPC 2003), France, 01/01/03-31/12/03, T. Schiex (Eds.), Université de Picardie Jules Verne – Laboratoire de recherche en informatique d’Amiens, p. 23-37, janvier 2003.
Philippe Balbiani, Jean-Francois Condotta, Gerard Ligozat
Reasoning about cyclic space: axiomatic and computational aspects
Dans : Spatial Cognition III (SC 2002), Allemagne, 01/01/03-31/12/03, C. Freksa, W. Brauer, C. Habel (Eds.), Springer-Verlag, p. 348-371, janvier 2003.
Philippe Balbiani, Jean-Francois Condotta, Gerard Ligozat
On the consistency problem for the INDU calculus
Dans : 10th International Symposium on Temporal Representation and Reasoning – 4th International Conference on Temporal Logic (TIME 2003 – ICTL 2003), Australie, 01/07/03-31/07/03, M. Reynolds, A. Sattar (Eds.), Institute of Electrical and Electronics Engineers, p. 203-211, juillet 2003.
Philippe Balbiani, Khalil Challita, Jean-Francois Condotta
Spatial regions changing over time
Dans : 7th Seminar RelMiCS – 2nd Workshop Kleene Algebra (RelMiCS 2003 – Kleene 2003), Malente, 01/05/03-31/05/03, R. Berghammer, B. Möller (Eds.), Christian-Albrechts-Universität zu Kiel, p. 74-81, mai 2003.
Philippe Balbiani, Jean-Francois Condotta
Computational complexity of a propositional linear temporallogic based on qualitative spatial or temporal reasoning
Dans : 4th International Workshop on Frontiers of Combining Systems, Italie, 01/01/02-31/12/02, Springer-Verlag, p. 1-999, janvier 2002.
Philippe Balbiani, Jean-Francois Condotta
Une logique temporelle pour décrire l’évolution des positions relatives des agents dans l’espace
Dans : 1ères journées francophones des modèles formels de l’interaction (MFI 2001), Toulouse, 01/01/01-31/12/01, B. Chaib-draa, P. Enjalbert (Eds.), Université des sciences sociales – Toulouse 1, p. 181-192, janvier 2001.
Philippe Balbiani, Jean-Francois Condotta
Une logique pour le raisonnement spatio-temporel basée sur PLTL et l’algèbre des rectangles
Dans : Journées nationales sur les modèles de raisonnement (JNMR 2001), France, 01/01/01-31/12/01, A. Herzig (Eds.), PRC-GDR I3, p. 9-21, janvier 2001.
Les réseaux augmentés des intervalles et des rectangles
Dans : Actes du 12ème Congrès Francophone AFRIF-AFIA de Reconnaissance des Formes et Intelligence Artificielle (RFIA’2000), Paris, 01/02/00-03/02/00, ., février 2000.
Classes traitables de l’algèbre des intervalles généralisés
Dans : Actes du 12ème Congrès Francophone AFRIF-AFIA de Reconnaissance des Formes et Intelligence Artificielle (RFIA’2000), Paris, 01/02/00-03/02/00, ., février 2000.
Tractable Sets of the Generalized Interval Algebra
Dans : Proceedings of the 14th European Conference on Artificial Intelligence (ECAI’2000), Amsterdam, IOS Press, p. 78-82, janvier 2000.
The Augmented Interval and Rectangle Networks
Dans : Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR’2000), Breckenridge (USA), ., avril 2000.
Philippe Balbiani, Jean-Francois Condotta, Gerard Ligozat
Reasoning about generalized intervals: Horn representabilityand tractability
Dans : Seventh International Workshop on Temporal Representationand Reasoning, Canada, 01/01/00-31/12/00, Institute of Electrical and Electronics Engineers, p. 23-39, janvier 2000.
Philippe Balbiani, Jean-Francois Condotta, Luis Fariñas del Cerro
Raisonement qualitatif a propos des points de l’espace
Dans : Cinquiemes journees nationales sur la resolution pratique deproblemes NP-complets, Lyon, 01/01/99-31/12/99, Insa de Lyon, p. 139-149, janvier 1999.
Philippe Balbiani, Jean-Francois Condotta, Luis Fariñas del Cerro
A tractable subclass of the block algebra: constraint propagation and preconvex relations
Dans : Proceedings of the Ninth Portuguese Conference on Artificial Intelligence (EPIA’99), Evora, ., janvier 1999.
Philippe Balbiani, Jean-Francois Condotta, Luis Fariñas del Cerro
A new tractable subclass of the rectangle algebra
Dans : Sixteenth International Joint Conference on ArtificialIntelligence, Suede, 01/01/99-31/12/99, International Joint Conferences on Artificial Intelligence, p. 442-447, janvier 1999.
Philippe Balbiani, Jean-Francois Condotta, Luis Fariñas del Cerro, Aomar Osmani
Reasoning about generalized intervals
Dans : Artificial Intelligence: Methodology, Systems andApplications, Bulgarie, 01/01/98-31/12/98, Springer-Verlag, p. 50-61, janvier 1998.
Philippe Balbiani, Jean-Francois Condotta, Luis Fariñas del Cerro
A model for reasoning about bidimensional temporal relations
Dans : Sixth International Conference on Principles of KnowledgeRepresentation and Reasoning, Italie, Morgan Kaufmann, p. 124-130, janvier 1998.
Problèmes de satisfaction de contraintes : algorithmes et complexité
Thèse de doctorat, Université Paul Sabatier, janvier 2000.